package sketchguided.tinysql;

public class RunRandoopTinySQL {
  
  public static void main(String[] args) {
    
//	System.setProperty("java.class.path", System.getProperty("java.class.path")
//			+ System.getProperty("path.separator") + "./libs/tinsql-jdk1.6.jar");
	  
    //java -classpath randoop.jar randoop.main.Main gentests --classlist=myclasses.txt --timelimit=60
    args = new String[]{"gentests", "--classlist=./subjects/sketchguided/tinysql/tinysqlclass.txt",
        "--junit-classname=RandoopTestTinySQLUnit", "--junit-output-dir=./subjects",
        "--junit-package-name=sketchguided.tinysql.autogenerated", "--timelimit=150"};
    randoop.main.Main.main(args);
  }
  
}